$b$ $\in$ dom($M$.prob) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$b$ $\in$ dom(($M$.2.2.2.2.2.2.2.2.2.2.2).1)